formal testing
英 [ˈfɔːml ˈtestɪŋ]
美 [ˈfɔːrml ˈtestɪŋ]
网络 形式测试
双语例句
- UAT is a very formal end-user testing procedure; it is your customer's formal approval of your project deliverables.
UAT是一个极其正式的测试过程；它是客户对于您项目可交付性的正式批准。 - No formal testing has been performed by the IBM development laboratory.
IBM开发实验室没有执行任何正式的测试。 - On the other hand, if the tester only uses some fixed users to place orders in the formal testing, the corresponding data will accumulate.
另一方面，如果测试人员仅仅使用某些固定用户在正式的测试中下订单，那么相应的数据将会累积。 - For example, WS-ReliableMessaging and WS-Transaction have both been available for several years, but there has never been any formal testing done where both are used together.
例如，WS-ReliableMessaging和WS-Transaction已使用多年，但是将二者一起使用时，从未执行过任何正式测试。 - This ensures minimal overhead and the performance impact of the filter should be negligible although no formal performance testing has been done.
这确保开销非常小，筛选器的性能影响应该可以忽略不计，但是没有做过正式的性能测试。 - It has been our experience that when a formal Testing team is established, developers are less likely to perform thorough testing of their own code.
我们的经验是当一个正式的测试团队成立时，开发人员可能更少进行自己代码的彻底测试了。 - However, all these benefits have one negative aspect: the fact that the plug-ins have no formal testing structure outside of peer reviews.
然而，除了这些优点之外，也有一个不好的方面：这些插件没有正式的测试结构。 - For small applications with low performance requirements, there is no need for formal performance testing.
对于具有低的性能需求的小型应用程序，没有必要进行正式的性能测试。 - However, the recommendations or to test formal or specialized institutions for testing.
但建议还是去正规或者专门的检测机构进行检测。 - Scala may also work with older versions of Java but there is not formal testing done for those situations.
Scala可能也可以在更早版本的Java上运行，但没有经过正式的测试。 - Formal code reviews should include testing of the source code.
正式的代码审查应该包括源代码测试。 - A Survey on the Methodology Integrating Formal Verification and Conformance Testing
软件形式验证与测试集成方法研究综述 - A formal assertion of validity. testing methods for breaking force and elongation at break of yarn: single-end method
确定，鉴定对效力的正式断言纱的断裂强力和断裂伸长率的测定法：单经法 - The volunteers thought they were functioning relatively normally. However, formal testing showed that their cognitive abilities and reaction times progressively declined during the two weeks.
尽管这些志愿者在两周后认为他们的身体运转相对正常，然而，测试表明，两周时间里，他们的认知能力和反应时间逐渐下降。 - It serves as a tutorial for those who are new to formal testing.
对于那些新接触正式测试的人员，它起到讲解作用。 - A Formal Method about Conformance Testing of Router Protocol
关于路由协议的一致性测试的一种形式方法 - New problems are encountered in functional design, simulation, formal verification, testing and other fields.
由于设计规模的扩大，芯片的功能设计、仿真、形式验证、测试等都遇到了新的问题。 - Research on Formal Testing Model of Router
一种路由器形式化测试模型的研究 - The model-based specification language was used in test specification, and formal description testing data and other testing information for TTF parts was defined with description language Z.
测试规范使用基于模型的规范语言，由描述语言Z定义TTF基本部件的形式描述测试数据和其它测试信息。 - Based on an example of router with multiple input queues, construction of formal testing model of router is introduced and testing and analysis of this model are researched.
基于一个具体的多输入队列路由器的例子，介绍了路由器形式化测试模型的建立以及测试和分析。 - The usage of the formal technology in protocol testing will make protocol testing more accurate and efficient.
在协议测试中采用形式化技术将使协议测试更加精确和高效。 - There are three main stages of language tests before Bachman put forward the model of communicative approach. The first stage is the time before the regular and formal language testing theory was formed, which is called pre-scientific period.
语言测试主要经历过三个阶段，第一阶段是在较为正式的语言测试理论形成之前的前科学语言测试阶段； - After showing an example about CSTA system testing, it points out that the disadvantage of all these methods is that they must follow complete and clear client's request. Then it suggests using Formal Methods for system testing.
然后以电信软件CSTA的测试为例，指出这些常用测试方法是以用户需求相当完整清晰为前提的，于是提出将形式化方法引入系统测试。 - A formal framework to performance testing
形式化的协议性能测试框架 - The second is abstract "Formal model" with the help of "Formal Technology". The usage of the formal technology in protocol testing will make protocol testing more accurate and efficient.
其次使用形式化技术提炼待测系统形式化模型；对初步的形式化模型进行分析、化简，得到待测集合；在协议测试中采用形式化技术将使协议测试更加精确和高效。 - Research on formal test execution methods is an important phase in the activity of formal protocol conformance testing.
研究基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节。 - The project of predicting the examination paper analysis and exploratory factor analysis, formed a middle school teachers and parents communicate ability formal questionnaire, while testing the reliability and validity of this questionnaire.
对预测试卷进行项目分析和探索性因素分析，形成中学教师与家长沟通能力的正式问卷，同时检验了该问卷的信效度。 - Meanwhile, along with promotion and application of formal specification, software testing based on specification is gaining more and more attention in the science field and the industry field.
同时，随着形式化规范说明的推广和应用，基于规范的软件测试在学术界和工业界得到了广泛的关注。 - Based on detailed study of the inconsistency causes, a formal model-based mapping and database testing UML model diagram consistency method is given, it has the advantages of scalability, versatility.
本文在详细研究不一致性产生原因的基础上，给出了一个基于形式化模型和数据库映射的检测UML模型图一致性的方法，它具有可扩展性、通用性等优点。 - Using graphical math tools to complete formal description, correct testing, performance evaluation and testing of the algorithm and system is an important working method.
采用图形化的数学工具来完成包括系统和算法的形式化描述、正确性检验、性能评价、测试等是对算法设计精益求精的重要工作方法。